Jean-Pierre Jouannaud: ค้นหาบนเว็บ Z-Library

ประตูสู่ความรู้และวัฒนธรรมสำหรับคุณ

Don't use scam websites

ตัวกรองที่กำลังใช้อยู่

ตรงกับคำค้นหาทุกประการ

ตรงกับคำค้นหาทุกประการ

1

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer, (eds.)

ปี:

2006

ภาษา:

english

ไฟล์:

PDF, 5.22 MB

0 / 0

english, 2006

2

Functional Programming Languages and Computer Architecture: Nancy, France, September 16–19, 1985

Functional Programming Languages and Computer Architecture: Nancy, France, September 16–19, 1985

Springer-Verlag Berlin Heidelberg

D. A. Turner (auth.), Jean-Pierre Jouannaud (eds.)

ปี:

1985

ภาษา:

english

ไฟล์:

DJVU, 3.92 MB

0 / 0

english, 1985

3

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

David Borgo (auth.), Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)

ปี:

2006

ภาษา:

english

ไฟล์:

PDF, 6.57 MB

0 / 0

english, 2006

4

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.)

ปี:

2011

ภาษา:

english

ไฟล์:

PDF, 4.17 MB

0 / 0

english, 2011

5

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Frédéric Blanqui, Jean-Pierre Jouannaud (auth.), Miki Hermann, Andrei Voronkov (eds.)

ปี:

2006

ภาษา:

english

ไฟล์:

PDF, 6.22 MB

0 / 0

english, 2006

6

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer, (eds.)

ปี:

2006

ภาษา:

english

ไฟล์:

PDF, 8.02 MB

0 / 0

english, 2006

7

Constraints in Computational Logics: First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings

Constraints in Computational Logics: First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Wayne Snyder (auth.), Jean-Pierre Jouannaud (eds.)

ปี:

1994

ภาษา:

english

ไฟล์:

DJVU, 3.50 MB

0 / 0

english, 1994

8

Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer-Verlag

Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud, Hubert Comon-Lundh, Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

ปี:

2007

ภาษา:

English

ไฟล์:

PDF, 138.71 MB

0 / 0

English, 2007

9

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Springer-Verlag Berlin Heidelberg

Jean-Pierre Jouannaud, Ralf Treinen (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen (eds.)

ปี:

2001

ภาษา:

english

ไฟล์:

PDF, 2.01 MB

0 / 0

english, 2001

10

Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985

Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985

Springer-Verlag Berlin Heidelberg

Bruno Buchberger (auth.), Jean-Pierre Jouannaud (eds.)

ปี:

1985

ภาษา:

english

ไฟล์:

DJVU, 3.59 MB

0 / 0

english, 1985

11

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course

Springer-Verlag Berlin Heidelberg

Jean-Pierre Jouannaud (auth.), Hubert Comon, Jean-Pierre Jounnaud (eds.)

ปี:

1995

ภาษา:

english

ไฟล์:

DJVU, 1.95 MB

0 / 0

english, 1995

12

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Springer-Verlag Berlin Heidelberg

Jean-Pierre Jouannaud, Ralf Treinen (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen (eds.)

ปี:

2001

ภาษา:

english

ไฟล์:

PDF, 2.63 MB

0 / 0

english, 2001

13

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.)

ปี:

2011

ภาษา:

english

ไฟล์:

PDF, 4.29 MB

0 / 0

english, 2011

14

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course

Springer-Verlag Berlin Heidelberg

Jean-Pierre Jouannaud (auth.), Hubert Comon, Jean-Pierre Jounnaud (eds.)

ปี:

1995

ภาษา:

english

ไฟล์:

PDF, 3.38 MB

0 / 0

english, 1995

15

Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio (auth.), Michael Kaminski, Simone Martini (eds.)

ปี:

2008

ภาษา:

english

ไฟล์:

PDF, 5.38 MB

0 / 0

english, 2008

16

Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio (auth.), Michael Kaminski, Simone Martini (eds.)

ปี:

2008

ภาษา:

english

ไฟล์:

PDF, 7.60 MB

0 / 0

english, 2008